Search results

traces-solver

solver for the iOS game `logic traces`

• logic
• traces
• iOS
• game
• solver

chinesedfan

published 1.0.0 • 7 years agopublished 1.0.0 7 years ago

logic-solver

General satisfiability solver for logic problems

• sat
• solver
• logic
• constraint

dgreensp

published 2.0.1 • 8 years agopublished 2.0.1 8 years ago

kmap-solver-lib

A utility function to solve karnaugh maps up to 4 variables

• karnaugh
• maps
• utility
• typescript
• logic
• boolean
• algebra

obsfx

published 0.0.4 • 3 years agopublished 0.0.4 3 years ago

fdq

Finite Domain reduction system and solver by qFox

• constraint solving
• GSAT
• finite domain solver
• FD
• Reduction system
• Minifier
• Logic
• Deduction

kuvos

published 0.0.4 • 7 years agopublished 0.0.4 7 years ago

fdp

Finite Domain Problem reduction system

• constraint solving
• GSAT
• finite domain solver
• FD
• Constraint Reduction system
• Minifier
• Logic
• Deduction

kuvos

published 0.0.5 • 7 years agopublished 0.0.5 7 years ago

@hakerh400/puzzle-games

Puzzle games

• puzzle
• game
• csp
• sat
• sat-solver
• logic
• theorem
• constraint
• js
• javascript
• node
• nodejs
• node.js
• electron
• View more

hakerh400

published 1.0.0 • 2 years agopublished 1.0.0 2 years ago

grilops

A Grid Logic Puzzle Solver library, using Typescript and z3.

• puzzle
• solver
• logic
• z3
• typescript
• sat

hlysine

published 0.1.1 • 13 hours agopublished 0.1.1 13 hours ago